This chapter focuses on a factor widely considered by the standard view to be the basis for color-naming phenomena and explores some plausible, comparatively uninvestigated factors that might underlie color naming. These are illustrated, in part, through a reexamination of World Color Survey data as it has been presented by Kuehni. The aim of this chapter is to examine the appropriateness of the Hering opponent-color construct as a theoretical foundation for explaining patterns of color naming in datasets like the WCS, (...) which include many languages that do not use Hering color terms. The main conclusion reached is that a proper explanation for cross-cultural color naming and categorization should not depend on the Hering opponent-color construct. (shrink)

We are grateful to Friesen and colleagues for drawing attention to the tension between the protection of populations that may experience vulnerability with their inclusion in research (Friesen et a...

We examined participants' reading and recall of informed consent documents presented via paper or computer. Within each presentation medium, we presented the document as a continuous or paginated document to simulate common computer and paper presentation formats. Participants took slightly longer to read paginated and computer informed consent documents and recalled slightly more information from the paginated documents. We concluded that obtaining informed consent online is not substantially different than obtaining it via paper presentation. We also provide suggestions for improving (...) informed consent-in both face-to-face and online experiments. (shrink)

We prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the representation problem of finite relation (...) algebras. (shrink)

We show, for any ordinal γ ≥ 3, that the class RaCAγ is pseudo-elementary and has a recursively enumerable elementary theory. ScK denotes the class of strong subalgebras of members of the class K. We devise games, Fⁿ (3 ≤ n ≤ ω), G, H, and show, for an atomic relation algebra A with countably many atoms, that Ǝ has a winning strategy in Fω(At(A)) ⇔ A ∈ ScRaCAω, Ǝ has a winning strategy in Fⁿ(At(A)) ⇐ A ∈ ScRaCAn, Ǝ (...) has a winning strategy in G(At(A)) ⇐ A ∈ RaCAω, Ǝ has a winning strategy in H(At(A)) ⇒ A ∈ RaRCAω for 3 ≤ n < ω. We use these games to show, for γ ≥ 5 and any class K of relation algebras satisfying RaRCAγ ⊆ K ⊆ ScRaCA₅, that K is not closed under subalgebras and is not elementary. For infinite γ, the inclusion RaCAγ ⊂ ScRaCAγ is strict. For infinite γ and for a countable relation algebra A we show that A has a complete representation if and only if A is atomic and Ǝ has a winning strategy in F(At(A)) if and only if A is atomic and A ∈ ScRaCAγ. (shrink)

We describe approximation algorithms for MAX SAT with performance ratios arbitrarily close to 1, in particular, when performance ratios exceed the limits of polynomial-time approximation. Namely, given a polynomial-time α-approximation algorithm , we construct an -approximation algorithm . The algorithm runs in time of the order ck, where k is the number of clauses in the input formula and c is a constant depending on α. Thus we estimate the cost of improving a performance ratio. Similar constructions for MAX 2SAT (...) and MAX 3SAT are also described. Taking known algorithms as , we obtain particular upper bounds on the running time of. (shrink)

We prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the representation problem of finite relation (...) algebras. (shrink)

We prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the (undecidable) representation problem of finite (...) relation algebras. (shrink)

We prove that every n-modal logic between K n and S5 n is undecidable, whenever n ≥ 3. We also show that each of these logics is non- finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov-Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a (...) reduction of the (undecidable) representation problem of finite relation algebras. (shrink)

Some people have found my distinction between meaning and significance useful. In the following revision of that distinction, I hope to improve its accuracy and perhaps, therefore, its utility as well. My impulse for making the revision has been my realization, very gradually achieved, that meaning is not simply an affair of consciousness and unconsciousness. In 1967, in Validity in Interpretation, I roundly asserted that “there is no magic land of meanings outside human consciousness.” 1 That assertion would be true (...) if, godlike, we could oversee the whole of human consciousness, past, present, and future. But we language users, being limited creatures, intend our verbal meanings to go beyond what we can pay attention to at any moment. We intend our meanings to transcend our momentary limitations of attention and knowledge. Hence there is a land of meanings beyond past and present human consciousness—the land of the future. What I should have said originally is that there is no magic lance of meanings beyond the whole extent of human consciousness, past, present, and future. This correction of my original statements leads to a deepening of the concept of meaning.In 1960 I first proposed the analytical distinction between two aspects of textual interpretation. One of them, meaning, was fixed and immutable; the other, significance, was open to change.2 I acknowledged that significance, changeable or not, is the more valuable object of interpretation, because it typically embraces the present use of texts, and present use is present value. But I argued that, in academic criticism, the significance and use of a text ought to be rooted in its fixed meaning, since otherwise criticism would lack a stable object of inquiry and would merely float on tides of preference. The claim that one reader’s opinion is as valid as another’s would then be right, despite any indignant protest to the contrary. I did not wish to dissuade people from floating on the tides of preference if that was what they wished to do. I intended to provide a firm justification for those who wished to pursue historical scholarship. 3 I also assumed that even those who did not pursue historical scholarship might sometimes wish to exploit the possibility of historically fixed meaning. In my experience, even antiauthorial theorists sometimes with to regard their own texts as having a historically fixed meaning and will complain if someone misunderstands that meaning. 1. E. D. Hirsch, Jr., Validity in Interpretation, p. 4.2. See my “Objective Interpretation,” PMLA 75 : 463-79.3. See, for instance, W. K. Wimsatt, Jr., and Monroe C. Beardsley, “The Intentional Fallacy,” in Wimsatt, The Verbal Icon: Studies in the Meaning of Poetry, which ends:We submit that this is the true and objective way of criticism, as contrasted to what the very uncertainty of exegesis might tempt a second kind of critic to undertake: the way of biographical or genetic inquiry …. Our point is that such an answer to such an inquiry would have nothing to do with the poem “Prufrock”; it would not be a critical inquiry. Critical inquiries, unlike bets, are not settled in this way. Critical inquiries are not settled by consulting the oracle. [P. 18] E. D. Hirsch, Jr., professor of English at the University of Virginia, is the author of numerous works, including Validity in Interpretation and The Aims of Interpretation. His previous contributions to Critical Inquiry are “Against Interpretation?”, “The Politics of Theories of Interpretation, and “Stylistics and Synonymity”. (shrink)

A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n >3, the class of all strongly representable n-dimensional cylindric algebra atom structures is not closed under ultraproducts and is therefore not elementary. Our proof is based on the following construction. From an arbitrary (...) undirected, loop-free graph Γ, we construct an n-dimensional atom structure E(Γ), and prove, for infinite Γ, that E(Γ) is a strongly representable cylindric algebra atom structure if and only if the chromatic number of Γ is infinite. A construction of Erdős shows that there are graphs (k < ω)with infinite chromatic number, but having a non-principal ultraproduct $\prod _D\Gamma _k $ whose chromatic number is just two. It follows that $E(\Gamma _k )$ is strongly representable (each k < ω) but $\Pi _D E(\Gamma _k)$ is not. (shrink)

How can we find any satisfying assignment for a Boolean formula that has many satisfying assignments? There exists an obvious randomized algorithm for solving this problem: one can just pick an assignment at random and check the truth value of the formula for this assignment, this is iterated until a satisfying assignment occurs. Does there exist a polynomial-time deterministic algorithm that solves the same problem? This paper presents such an algorithm and shows that its worst-case running time is linear when (...) input formulas are in k-CNF and a fraction of satisfying assignments is greater than a constant. This algorithm is almost the same as the algorithm proposed by Monien and Speckenmeyer in the early 1980s for less than 2n steps 3-SAT decision.Another result of this paper is that if a formula in k-CNF has many satisfying assignments, then there exists a short satisfying assignment, i.e. an assignment of truth values to a small number of variables. The proposed algorithm yields just such a short satisfying assignment. We also show that there exist formulas in general CNF having many satisfying assignments, that have no short satisfying assignments. (shrink)

Few critics of the received view in metaphysics that ontological disputes are generally substantive have stirred as much response as those that have developed Carnapian arguments turning on considerations of language and interpretation. The arguments from deflationists like Thomasson ( 2009, 2014 ) and Neo-Fregeans like Hale and Wright ( 2009 ), focus on features of actual language use, others like those from Hirsch ( 2002, 2009 ) focus on interpretation. In this paper, I offer a novel challenge to (...) the latter sort of argument. I argue that through their use of the principle of charity, they have unacceptable consequences beyond the ontology room: the best accounts of some natural language phenomena—most importantly, presupposition—cannot be maintained. (shrink)

Quantifier variance is a well-known view in contemporary metaontology, but it remains very widely misunderstood by critics. Here we briefly and clearly explain the metasemantics of quantifier variance and distinguish between modest and strong forms of variance (Section I), explain some key applications (Section II), clear up some misunderstandings and address objections (Section III), and point the way toward future directions of quantifier-variance-related research (Section IV).

After half a century exploring dialectical thought, renowned cultural critic Fredric Jameson presents a comprehensive study of a misrepresented, vital strain in Western philosophy. The dialectic, the concept of the evolution of an idea through internal contradiction and conflict, transformed two centuries of Western philosophy. To Hegel, who dominated nineteenth-century thought, it was a metaphysical system. In the works of Marx, the dialectic became a tool for materialist historical analysis, a theoretical maneuver that his critics derided and his descendants (...) on the Left have wrestled with ever since. Jameson brings a theoretical scrutiny to bear on the questions that have arisen in the history of this philosophical tradition, contextualizing the debate with essays on commodification and globalization, and with reference to the work of Rousseau, Fichte, Heidegger, Sartre, Derrida, and Lacan. Through rigorous, erudite examination, Valences of the Dialectic charts a movement toward the innovation of a "spatial" dialectic, culminating in a remarkable meditation on globalization, through a study of Paul Ricoeur. Jameson presents a new synthesis of thought that revitalizes dialectical thinking for the twenty-first century. (shrink)

Introduction: on not giving interviews -- Interview with Leonard Green, Jonathan Culler, and Richard Klein -- Interview with Anders Stephanson -- Interview with Paik Nak-Chung -- Interview with Sabry Hafez, Abbas Al-Tonsi, and Mona Abousenna -- Interview with Stuart Hall -- Interview with Michael Speaks -- Interview with Horacio Machín -- Interview with Sara Danius and Stefan Jonsson -- Interview with Xudong Zhang -- Interview with Srinivas Aravamudan and Ranjana Khanna.

Based on a framework that distinguishes several types, roles and functions of values in science, we discuss legitimate applications of values in the validation of computer simulations. We argue that, first, epistemic valuesEpistemic values, such as empirical accuracyAccuracy and coherence with background knowledgeBackground knowledge, have the role to assess the credibilityCredibility of simulation results, whereas, second, cognitive valuesCognitive values, such as comprehensiveness of a conceptual modelConceptual model or easy handling of a numerical model, have the role to assess the usefulness (...) of a model for investigating a hypothesisHypothesis. In both roles, values perform what we call first-order functions. In addition, cognitive values may also serve an auxiliary function by facilitating the assessment of credibility. As for a third type of values, i.e. social valuesSocial values, their legitimate role consists in specifying and weighing epistemic and cognitive values with respect to practical uses of a simulation, which is considered a second-order function. Rational intersubjective agreementAgreement on how to specify and weigh the different values is supposed to ensure objectivity in simulation validation. (shrink)

This book reflects on the variety of ways in which mourning affects political and social life. Through the narrative of the contributors, the book demonstrates how mourning is intertwined with politics and how politics involves a struggle over which losses and whose lives can, or should, be mourned.

A number of jurisdictions, including England and Wales after their adoption of the 1991 Criminal Justice Act, require that sentences be `proportionate' to the severity of the crime. This book, written by the leading architect of `just deserts' sentencing theory, discusses how sentences may be scaled proportionately to the gravity of the crime. Topics dealt with include how the idea of a penal censure justifies proportionate sentences; how a penalty scale should be `anchored' to reduce overall punishment levels; how non-custodial (...) penalties should be graded and used; and how political pressures impinge on sentencing policies. (shrink)

The principle that a sentence should be proportionate to the seriousness of the offence remains at the centre of penal practice and scholarly debate. This volume explores highly topical aspects of proportionality theory that require examination and further analysis. von Hirsch and Ashworth explore the relevance of the principle of proportionality to the sentencing of young offenders, the possible reasons for departing from the principle when sentencing dangerous offenders, and the application of the principle to socially deprived offenders. They (...) examine the claim that the principle tends to be associated with greater severity in sentencing, and explore the relevance of penance and of restorative justice to proportionality theory. Their examination of arguments and counter-arguments culminates in a re-statement of the main criteria for proportionate sentencing.The authors are well known for their previous writings on proportionality theory, and this volume broadens the theory to deal with important contemporary issues in crime and punishment. (shrink)

What is the role of psychoanalysis in today's world? _Yesterday, Today and Tomorrow _presents a selection of papers written by Hanna Segal. The collection introduces the reader to a wide spectrum of insights into psychoanalysis, ranging from current thoughts on the nature of dreaming to new ideas about vision and disillusionment. Her long interest in factors affecting war is pursued in her examination of the psychotic factors, symbolic significance and psychological impact of the events of September the 11th, and the (...) ensuing war on Iraq. The second half of the book discusses Segal's presentations to conferences and symposia from 1969-2000, this material is split into six sections: Models of the mind and mental processes Psychoanalytic technique Segal on Klein Segal on Bion Envy and narcissism Interviews. _Yesterday, Today and Tomorrow_ is a masterly contribution to the field. Segal's clarity of thought and striking clinical illustrations make the book accessible to those new to the field as well as those acquainted with her seminal work. (shrink)

Médecine et éthique est une quête sur la vocation médicale de l'homme. La démarche est fondamentalement humaniste, recherche d'abord la proximité, l'échange de "paroles de vie", la condition préalable de la théorisation étant l'immersion dans "le vif de l'existence". Ce livre évite comme la peste la solennité et les principes sans racine. Il pose des jalons, propose des éclairages multiples sous forme d'entretiens avec des philosophes, des médecins, des soignants, des malades, des proches. Sa lecture provoque émotion et interrogations, désoriente (...) parfois. Car le terrain est encore mal balisé, les points de controverses parfois violents (l'euthanasie, l'acharnement thérapeutique... ). A lire avec passion si vous privilégiez la réflexion aux schémas préétablis. (shrink)